orthogonal diagonalization of symmetric matrices